ba3808954ef7ed703516d07c3e781458c3937411,framework/src/org/checkerframework/framework/type/visitor/SimpleAnnotatedTypeScanner.java,SimpleAnnotatedTypeScanner,visitArray,#AnnotatedArrayType#P#,54

Before Change


     */
    @Override
    public final R visitArray(AnnotatedArrayType type, P p) {
        defaultAction(type, p);
        return super.visitArray(type, p);
    }

After Change


     */
    @Override
    public final R visitArray(AnnotatedArrayType type, P p) {
        R r = defaultAction(type, p);
        return reduce(super.visitArray(type, p), r);
    }

    /**